Juan CLIMENT VIDAL and Juan SOLIVERES TUR A 2-CATEGORICAL FRAMEWORK FOR THE SYNTAX AND SEMANTICS OF MANY-SORTED EQUATIONAL LOGIC
نویسندگان
چکیده
Received 30 January 2008; revised 7 July 2008 In memory of Professor Tsuyoshi Fujiwara (1923–2006) Primary: 03C05, 03F25, 08A68, 08A40, 18A23, 18C10, 18D05; Secondary: 03C95, 68Q65.
منابع مشابه
A 2-categorical framework for the syntax and semantics of many-sorted equational logic
Received 30 January 2008; revised 7 July 2008 In memory of Professor Tsuyoshi Fujiwara (1923–2006) Primary: 03C05, 03F25, 08A68, 08A40, 18A23, 18C10, 18D05; Secondary: 03C95, 68Q65.
متن کاملPresenting functors on many-sorted varieties and applications
This paper studies several applications of the notion of a presentation of a functor by operations and equations. We show that the technically straightforward generalisation of this notion from the one-sorted to the many-sorted case has several interesting consequences. First, it can be applied to give equational logic for the binding algebras modelling abstract syntax. Second, it provides a ca...
متن کاملA new framework for declarative programming
We propose a new framework for the syntax and semantics of Weak Hereditarily Harrop logic programming with constraints, based on resolution over τ -categories: finite product categories with canonical structure. Constraint information is directly built-in to the notion of signature via categorical syntax. Many-sorted equational constraints are a special case of the formalism which combines feat...
متن کاملErratum to: "A new framework for declarative programming": [Theoret. Comput. Sci. 300 (2003) 91-160]
We propose a new framework for the syntax and semantics of Weak Hereditarily Harrop logic programming with constraints, based on resolution over -categories: 9nite product categories with canonical structure. Constraint information is directly built-in to the notion of signature via categorical syntax. Many-sorted equational constraints are a special case of the formalism which combines feature...
متن کاملFunctorial Coalgebraic Logic: The Case of Many-sorted Varieties
Following earlier work, a modal logic for T -coalgebras is a functor L on a suitable variety. Syntax and proof system of the logic are given by presentations of the functor. This paper makes two contributions. First, a previous result characterizing those functors that have presentations is generalized from endofunctors on one-sorted varieties to functors between many-sorted varieties. This yie...
متن کامل